dimap(identity[A])(f)(paa): P[A, B]